//REQUIRED CLASS
package project2;

import java.util.ArrayList;

import project1.*;

public class Predicate
{
	private String stringname;
	private ArrayList<Parameter> param_list;
	Predicate(String name, ArrayList<Parameter> param_list){
		this.param_list = param_list;
		this.stringname = name;
	}
	public String toString(){
		return stringname+"("+param_list.toString().replaceAll("\\[|\\]","")+")";
	}
}
